Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road,

Source URL: www.prismmodelchecker.org

• Probability
• Dynamic programming
• Markov decision process
• Stochastic control
• PRISM model checker
• Reinforcement learning
• Probabilistic CTL
• Application software

Towards Evaluating the Robustness of Neural Networks Nicholas Carlini David Wagner University of California, Berkeley A BSTRACT

Source URL: www.ieee-security.org

• Artificial neural networks
• Applied mathematics
• Cybernetics
• Mathematics
• Deep learning
• CIFAR-10
• MNIST database
• Rectifier
• Softmax function
• Feedforward neural network
• Gradient descent
• Activation function

Symbolic Magnifying Lens Abstraction in Markov Decision Processes Pritam Roy1 David Parker2 Gethin Norman2 Luca de Alfaro1 Computer Engineering Dept, UC Santa Cruz, Santa Cruz, CA, USA 1 Oxford University Computing Labor

Source URL: qav.comlab.ox.ac.uk

• Mathematics
• Dynamic programming
• Markov decision process
• Stochastic control
• Probability
• Mathematical analysis
• Reachability

Do You See What I See? Differential Treatment of Anonymous Users Sheharbano Khattak? , David Fifield† , Sadia Afroz† , Mobin Javed† Srikanth Sundaresan‡ , Vern Paxson‡† , Steven J. Murdoch- , Damon McCoy‡ o

Source URL: sheharbano.com

Understanding Text Pre-Processing for Latent Dirichlet Allocation Alexandra Schofield1 M˚ans Magnusson2 Laure Thompson1 David Mimno3 1 Department of Computer Science, Cornell University, Ithaca, NY {xanda, laurejt}@cs.c

Source URL: www.cs.cornell.edu

• Linguistics
• Computational linguistics
• Statistical natural language processing
• Natural language processing
• Corpus linguistics
• Applied linguistics
• Speech recognition
• Topic model
• Latent Dirichlet allocation
• N-gram
• Stemming
• Text corpus

CLARK COUNTY BOARD OF ELECTIONS Board Members  Ted A. McClenen, Chairperson  Lynda Smith  Max Cordle  David Hartley Director  Jason Baker Deputy Director  Amber Lopez November 16, 2016 The Board will co

Source URL: clark.ohioboe.com

Resource Monitoring for Poly/ML Processes David Matthews Tjark Weber Magnus Stenqvist

Source URL: user.it.uu.se

• Computing
• Software engineering
• Computer programming
• Functional languages
• Procedural programming languages
• Standard ML
• ML
• Garbage collection
• Poly
• JFreeChart

Evaluation of RSVP and Mobility-aware RSVP Using Performance Evaluation Process Algebra Hao Wang and David I. Laurenson Jane Hillston

Source URL: www.dcs.ed.ac.uk

• Internet architecture
• Computing
• Network architecture
• Internet
• Quality of service
• Teletraffic
• Resource Reservation Protocol
• Network protocols
• Integrated services
• Mobile IP
• Handover
• RSVP

From First-order Temporal Logic to Parametric Trace Slicing Giles Reger and David Rydeheard University of Manchester, Manchester, UK Abstract. Parametric runtime verification is the process of verifying properties of ex

Source URL: www.cs.man.ac.uk

• Temporal logic
• Formal languages
• Logic
• Metalogic
• Mathematical logic
• Linear temporal logic
• Mathematics
• Model theory
• Symbol
• Computation tree logic
• Interpretation
• Well-formed formula

Board Members: Sue DeVoe Allen, Chairperson ▪ Lynda Smith David Hartley ▪ John Pickarski Director: Jason Baker ▪ Deputy Director: Amber Lopez March 20, 2018 The Board will hold a regular meeting on Tuesday, April 1

Source URL: clark.ohioboe.com